Visits of International Scientists

Beta Ziliani (MPI Saarbrücken) visited $\pi r^2$ for one week in November 2014 to collaborate with Yann Régis-Gianas and Matthieu Sozeau.

Peter Aczel (Manchester Univ.), Steve Awodey (Carnegie Mellon University), Thierry Coquand (Univ. Göteborg), and Vladimir Voevodsky (Institute for Advanced Study) were Inria funded invited professors for the thematic IHP trimester Semantics of Proofs and Certified Mathemtatics.

Internships

Akira Yoshimizu is an international Inria intern, working on abstract machines for quantum programmming languages inspired from game semantics and linear logic.

Visits to International Teams

Research stays abroad

Pierre-Louis Curien visited Chili (Univ. of Talca) in March 2014 (collaborative work with Maria Ronco in operad theory).